package com.googlecode.kipler.container.dl.operational;

import com.googlecode.kipler.container.dl.FormulaBase;
import com.googlecode.kipler.container.dl.Individual;
import com.googlecode.kipler.satisfiability.reasoner.UnsatisfiableException;
import com.googlecode.kipler.syntax.formula.Formula;


/**
 * 
 * @author İnanç Seylan
 *
 */
public interface ABoxChangeObserver {

	public void afterFormulaIsAdded(FormulaBase fBase, Formula formula)
			throws UnsatisfiableException;

	public void afterNodeIsRemoved(FormulaBase fBase, Individual indv);
}
